Complete Definition of "predicate calculus"

wikipedia
English

Noun
predicate calculus (uncountable)

  1. logic The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.

Translations

Croatian: t-|hr|predikatni ra�un|m
French: calcul des prédicats m
German: Prädikatenlogik f
mid
Swedish: predikatlogik

fr:predicate calculus

Revision and Credits for"predicate calculus"
Dictionary content provided from Wiktionary.org under the
GNU Free Documentation License
 
 

 Find:
  Words Starting With:
  Words Ending With:
  Words Containing:
  Words That Match:

 
 Translate Into:
  
Dutch   French   German
  
Italian   Spanish
    Show results per page.

Browse the Dictionary
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

   
Allwords Copyright 1998-2024 All rights reserved.